Formal techniques for networked and distributed systems - FORTE 2002
By: Peled, Doron A.
Contributor(s): Vardi, Moshe Y.
Material type:
BookSeries: 2529. Publisher: Berlin: Springer-Verlag, 2002Description: ; ill.ISBN: 3540001417 .Subject(s): Formal methods (Computer science) - Congresses | Electronic data processing - Distributed processing | Computer network protocolsDDC classification: 004
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 004 PEL (Browse shelf) | Available | 009020 |
There are no comments for this item.